Search Results
Gillian a Multi language Platform for Compositional (...) | Philippa Gardner | Code Mesh V 2020
Gillian, Part I A Multi language Platform for Symbolic Execution
19 June 1320 Gillian, Part I A Multi language Platform for Symbolic Execution
"Gillian Verification of JavaScript and C", Tech Talk by Philippa Gardner and Petar Maksimović
Verifiability Talk 28: Verified Trustworthy Software Specification, Philippa Gardner (Imperial)
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications
HIS 2021 Keynote: Verified Trustworthy Software Specification
[Session Previews @ POPL'23] Program Logics & Resources
Session 19 June 1300 Symbolic Execution
HOPE 2014: Verifying Security Properties of SES Programs - Philippa Gardner
Data Consistency in Transactional Storage Systems: A Centralised Semantics
The Next 700 Relational Program Logics
![[Session Previews @ POPL'23] Program Logics & Resources](https://img.youtube.com/vi/-H9Z1gDXWMw/hqdefault.jpg)
